81. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
پدیدآورنده: / edited by Isil Dillig, Serdar Tasiran.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
82. Contemporary computing :
پدیدآورنده: Sanjay Ranka [and others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Soft computing, Congresses.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Informatique.,Soft computing.,Soft computing.
رده :
QA75
.
5
.
I584
2009
83. Data Mining Methods for Knowledge Discovery
پدیدآورنده: by Krzysztof J. Cios, Witold Pedrycz, Roman W. Swiniarski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Data structures (Computer science).,Information storage and retrieval systems.,Management information systems.
84. Data and Image Domain Deep Learning for Computational Imaging
پدیدآورنده: Ghani, Muhammad Usman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence,Computer science,Electrical engineering
85. Data and Image Domain Deep Learning for Computational Imaging
پدیدآورنده: Ghani, Muhammad Usman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence,Computer science,Electrical engineering
86. Data driven treatment response assessment and preterm, perinatal, and paediatric image analysis :
پدیدآورنده: Andrew Melbourne, Roxane Licandro, Matthew DiFranco, Paolo Rota, Melanie Gau, Martin Kampel, Rosalind Aughwane, Pim Moeskops, Ernst Schwartz, Emma Robinson, Antonios Makropoulos (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Diagnostic imaging-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Health Informatics.,Image Processing and Computer Vision.,Algorithms & data structures.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Logic Design.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Medical-- General.,Program concepts-- learning to program.
رده :
RC78
.
7
.
D53
87. Deep belief nets in C++ and CUDA C.
پدیدآورنده: Timothy Masters.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C++ (Computer program language),Neural networks (Computer science),Artificial intelligence.,Business mathematics & systems.,C++ (Computer program language),COMPUTERS-- Programming Languages-- C++.,Databases.,Neural networks (Computer science),Programming & scripting languages: general.
رده :
QA76
.
87
88. Deep learning :
پدیدآورنده: editors, Kaizhu Huang, Amir Hussain, Qiu-Feng Wang and Rui Zhang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Machine learning.,Neural networks (Computer science),Artificial intelligence.,COMPUTERS-- General.,Machine learning.,Neural networks (Computer science)
رده :
QA325
.
5
89. Deep learning with Azure :
پدیدآورنده: Mathew Salvaris, Danielle Dean, Wee Hyong Tok.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Microsoft Azure (Computing platform),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Microsoft Azure (Computing platform),Microsoft programming.,Program concepts-- learning to program.
رده :
QA76
.
585
.
S25
2018eb
90. Detection of driver drowsiness by machine learning with 3D image
پدیدآورنده: Katham Mtasher,
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Safe Driving, Drowsiness Detection, Machine Learning, Region of Interest, LSTM, Deep Learning,:رانندگی امن، یادگیری ماشین، تشخیص خواب آلودگی، ناحیه مورد علاقه، LSTM، یادگیری عمیق
91. ECML PKDD 2018 Workshops :
پدیدآورنده: Carlos Alzate, Anna Monreale et al. (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data mining, Congresses.,Machine learning, Congresses.,Data mining.,Machine learning.
رده :
Q325
.
5
92. Embedded Robotics
پدیدآورنده: by Thomas Bräunl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer vision.,Software engineering.
93. Engineering applications of neural networks :
پدیدآورنده: Lazaros Iliadis, Chrisina Jayne (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Neural networks (Computer science), Congresses
رده :
QA76
.
87
.
I58
2011
94. Enterprise information systems :
پدیدآورنده: Joaquim Filipe, José Cordeiro (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Management information systems, Congresses.,Affaires.,Economie de l'entreprise.,Management information systems.,Science économique.
رده :
T58
.
6
.
I58
2009
95. Evolutionary computation in bioinformatics /
پدیدآورنده: edited by Gary B. Fogel, David W. Corne.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Bioinformatics.,Evolutionary computation.,Bioinformática.,Bioinformatics.,Evolutionary computation.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
QH324
.
2
.
E95
2003
96. Exploring computer science with scheme
پدیدآورنده: Oliver Grillmeyer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming -- Problems, exercises, etc.,Computer programming.,Scheme (Computer program language)
رده :
QA76
.
O458
2011
97. Foundations of Intelligent Systems :
پدیدآورنده: edited by Zbigniew W. Raś, Andrzej Skowron.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Database management.,Information storage and retrieval systems.
98. From Astrophysics to Unconventional Computation :
پدیدآورنده: editors, Andrew Adamatzky and Vivien Kendon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational intelligence.,Soft computing.,Computational intelligence.,COMPUTERS / General.,Soft computing.
رده :
QA76
.
9
.
S63
99. Functional Networks with Applications
پدیدآورنده: by Enrique Castillo, Angel Cobo, José Manuel Gutiérrez, Rosa Eva Pruneda.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer-aided design.,Data structures (Computer science).,Physics.
100. Fundamentals in Handwriting Recognition
پدیدآورنده: edited by Sebastiano Impedovo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Optical pattern recognition.
رده :
TA1650
.
E358
1994
